module std {
  module "vector" { header "vector" export * }
}
